<div>
    Specify a name that uniquely identifies this log recoder among others.
    By using a log recorder, you can group related logs into one file
    for easier inspection, and by using multiple log recorders, you can
    create multiple such groups.
</div>